81. Evolving Knowledge Bases
پدیدآورنده : \ Joao Alexandra Leite
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming.,Expert systems (Computer science),برنامه‌نویسی منطقی.,سیستم‌های خبره (کامپیوتر),a03,a04,a03,a04
رده :
E-Book
,
82. Evolving knowledge bases
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming. ; Expert systems (Computer science) ;
83. Evolving knowledge bases :
پدیدآورنده : João Alexandre Leite.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
رده :
QA76
.
63
.
L48
2003eb
84. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
85. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده : Michael Fisher, Richard Owens )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
86. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: (کرمان)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
87. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: (کرمان)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
88. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
پدیدآورنده : P. Schroeder-Heister, ed
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
475
89. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E97
1991
90. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings
پدیدآورنده : L.H. Eriksson, L. Hallnas, P. Schroeder-Heister )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
596
91. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
پدیدآورنده : Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1050
92. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
پدیدآورنده : Roy Dyckhoff )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
798
93. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده : ELP '29 )2991: Bologna, Italy(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E47
1992
94. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده : E. Lamma, P. Mello, eds
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
660
95. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
96. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
97. First-order dynamic logic
پدیدآورنده : Harel, David, 0591-
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L28
Vol
.
68
98. Formal methods: Theory and practice
پدیدآورنده : Edited by P. N. Scharbach
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer sytems, programming- Applications of mathematical logic
رده :
QA
،
76
,.
755
،.
F67
،
1989
99. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
306
100. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
